Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
نویسندگان
چکیده
منابع مشابه
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have inherent probabilistic behaviors, e.g., random data and unreliable components. It thus is crucial to have both quantitative and qualitative analysis of the probabilities of system properties. Such analysis can be co...
متن کاملSoS contract verification using statistical model checking
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1) the model of the SoS, which includes stochastic aspects; 2) the formalization of the SoS requirements in the form of contracts;...
متن کاملFormal Verification of a Group Membership Protocol Using Model Checking
The development of safety-critical embedded applications in domains such as automotive or avionics is an exceedingly challenging intellectual task. This task can, however, be significantly simplified through the use of middleware that offers specialized fault-tolerant services. This middleware must provide a high assurance level that it operates correctly. In this paper, we present a formal ver...
متن کاملFormal Verification for Spacewire Link Interface Using Model Checking
The design of the SpaceWire based satellite onboard system circuits was a part of the job in the development of Space Solar Telescope (SST) project, which has been completed by National Astronomical Observatories, Chinese Academic of Sciences. In order to prove the circuit was faithfully implements the SpaceWire protocol’s specification, formal verification techniques were applied during the pr...
متن کاملVerification of Real-Time Systems using Statistical Model Checking
Software for airborne systems have become more and more complex, yet the need to verify correct behavior remains constant. Adding to the challenge is the fact that these systems operate in uncertain environments where the workload they must process may not be known in advance. Statistical model checking is one tool that has been shown to be useful in verification of large complex systems operat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sensors
سال: 2020
ISSN: 1424-8220
DOI: 10.3390/s20164506